Temporallogik

Temporal|logik,

 

Zeitlogik, chronologische Logik, ein auf die Arbeiten von Arthur N. Prior, N. Rescher und Alasdair Urquhart zurückgehendes Gebiet der philosophischen Logik, in dem temporale Modalitäten, der Faktor »Zeit«, Gegenstand formallogischer Betrachtung und Systematisierung bilden. Zu den möglichen Anwendungsbereichen der Temporallogik zählen die Sprachphilosophie und Linguistik (Logik der Zeitformen), Planungstheorie und Zukunftsforschung (Systeme möglicher, offener Zukünfte) wie auch die philosophische Logik (Logik der Veränderung von Gegebenheiten durch das menschliche Handeln).